using System;
using System.Collections.Generic;

using Jedi.DOM;
using Jedi.Does;

namespace Jedi {

[Serializable]
public class Worktable {
	static Worktable() { 
		one = null;
	}
	private Worktable() { 
		program = new Program();
	}
	
	static private Worktable one;
	static public Worktable One {
		get { 
			one = one==null ? new Worktable() : one;
			return one;
		}
	}
	
	private Program program;
	public Program Program {
		get { return program; }
		set { program = value; }
	}

	public void Execute(List<Do> dos) {
		
	}
	
	public void Load(string file) { 
		program = LIMOX<Program>.Deserialize(file);
	}
	
	public void Save(string file) { 
		LIMOX<Program>.Serialize(file, program);
	}
}

}